退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用SMT解算器自动验证TLA +证明义务
Merz, Stephan; Vanzetto, Hernán;
机译:利用SMT解算器进行TLA +证明
机译:机械验证的线性化证明义务
机译:使用同步分析和SAT / SMT解决方案对并行系统进行高效验证
机译:使用SMT解算器自动验证TLA〜+证明义务
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:概念验证:检测犬是否是验证潜在的肺癌生物标志物的有用工具?
机译:使用smT求解器自动验证TLa +证明义务
机译:认证可满足性模块理论(smT)解决系统验证。
机译:用于在设计验证环境中自动选择约束求解器算法的系统,方法和计算机程序产品
机译:解决约束可满足性问题,以自动生成设计验证向量
机译:使用自动生成的校样条验证图像质量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。